Effectively Urbanized

Amphibian Breeding Distribution in an Urbanized Landscape

Amphibians commonly use wetlands for breeding habitat, and given the concern about their ongoing global declines, the effects of urbanization on the breeding distribution of amphibians need to be quantified. Thus, we conducted a survey of the larval amphibian community in central Pennsylvania (U.S.A.) wetlands along an urbanization gradient. Wetlands in urban areas had less surrounding forest a...

Explorer Effectively

Effectively View - Navigable Structures

Certain fundamental properties are necessary for informations structure to be effectively view-navigable as they get larger. View-navigation here means the familiar method of moving from one locally visible part of the information structure to another until a target is found. Fundamental properties needed include: views of the structure must be small, connecting paths must not be too long, and ...

Effectively Monadic Predicates

Monadic predicates play a prominent role in many decidable cases, including decision procedures for symbolic automata. We are here interested in discovering whether a formula can be rewritten into a Boolean combination of monadic predicates. Our setting is quantifier-free formulas over a decidable background theory, such as arithmetic and we here develop a semi-decision procedure for extracting...

Effectively Categorical Abelian Groups

We study effective categoricity of computable abelian groups of the form ⊕ i∈ω H, where H is a subgroup of (Q,+). Such groups are called homogeneous completely decomposable. It is well-known that a homogeneous completely decomposable group is computably categorical if and only if its rank is finite. We study ∆n-categoricity in this class of groups, for n > 1. We introduce a new algebraic concep...